Kripke's axiomatization of ${\rm S2}$.

Simple axiomatization of reticulations on residuated lattices

‎We give a simple and independent axiomatization of reticulations on residuated lattices‎, ‎which were axiomatized by five conditions in [C‎. ‎Mureşan‎, ‎The reticulation of a residuated lattice‎, ‎Bull‎. ‎Math‎. ‎Soc‎. ‎Sci‎. ‎Math‎. ‎Roumanie‎ ‎51 (2008)‎, ‎no‎. ‎1‎, ‎47--65]‎. ‎Moreover‎, ‎we show that reticulations can be considered as lattice homomorphisms between residuated lattices and b...

Topological superconductor in quasi-one-dimensional ${\rm Tl}_{2-x}{\rm Mo}_6{\rm Se}_6$

Identifying an Honest ${\rm EXP}^{\rm NP}$ Oracle Among Many

We provide a general framework to remove short advice by formulating the following computational task for a function f : given two oracles at least one of which is honest (i.e. correctly computes f on all inputs) as well as an input, the task is to compute f on the input with the help of the oracles by a probabilistic polynomial-time machine, which we shall call a selector. We characterize the ...

Bank ownership, rm value and rm capital structure in Europe*

We investigate the role of banks in the ownership structure of non-…nancial …rms. Distinguishing between banks and other institutional investors as shareholders, we examine the relationship between …nancial institution ownership and the performance of the …rms in which they hold equity. We control explicitly for the capital structure decision of the …rms and the ownership decision of …nancial i...

Axiomatization of Frequent Sets